Logic form - PDFSEARCH.IO - Document Search Engine

Logic form
Results: 545

#	Item
31	cs281: Computer Organization Lab3 Prelab Our objective in this prelab is to lay the groundwork for simplifying boolean expressions in order to minimize the complexity of the resultant digital logic circuit. We saw in La Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:31 Boolean algebra Canonical normal form Karnaugh map Distributive property Truth table Equivalence of categories Integer Boolean function Equality Matrix Addition Negation
32	Microsoft Word - Brun-AdequateFormalization&DeMorgansArgument.doc Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:08 Arguments Philosophical logic Critical thinking Logical consequence Mathematical logic First-order logic Algorithm Logical form Modal logic
33	Verifying arbitrary temporal formulas in the temporal logic of actions Lucian Wischik In SRC Technical NoteThis report describes a summer project undertaken by Lucian Wischik of the University of Cambridge, at Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-06-10 07:22:12 Syntax Temporal logic Disjunctive normal form Model checking Well-formed formula Formula
34	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:46:27 Logic programming Automated theorem proving Logic in computer science Formal methods Theoretical computer science Unification Lambda calculus Boolean satisfiability problem Conjunctive normal form
35	02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013 Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-10-21 08:25:00 Lambda calculus Combinatory logic Lambda calculus definition Reduction strategy Free variables and bound variables Lambda Fixed-point combinator Anonymous function Term Variable Beta normal form
36	CS61c: Combinational Logic Blocks J. Wawrzynek October 12, 2007 1 Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2007-10-15 00:23:18 Computer arithmetic Binary logic Digital circuits Logic gates Adder Digital electronics Subtractor XOR gate Arithmetic logic unit Exclusive or Canonical normal form Carry flag
37	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming A-normal form Let expression Fixed-point combinator Exponentiation Expression Monad Anonymous function Free variables and bound variables Combinatory logic Standard ML
38	Knowledge Graph Identification Jay Pujara1 , Hui Miao1 , Lise Getoor1 , and William Cohen2 1 Dept of Computer Science, University of Maryland, College Park, MD 20742 {jay,hui,getoor}@cs.umd.edu Add to Reading List Source URL: psl.umiacs.umd.edu Language: English - Date: 2013-09-12 16:44:11 Knowledge representation Semantic Web Ontology Resource Description Framework Abstraction Probabilistic soft logic Data model Category of being Inference Logic form Graph Web Ontology Language
39	Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-03-16 15:35:01 Model theory Logic Predicate logic Quantification Skolem normal form Inverse trigonometric functions Quantifier Surjective function Unification Herbrandization First-order logic
40	Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria Add to Reading List Source URL: plv.csail.mit.edu Language: English - Date: 2015-12-16 11:34:17 Programming idioms Computability theory Functional programming Logic in computer science Models of computation Recursion Denotational semantics Monad FO Valuation Static single assignment form